Results 201 to 210 of about 45,230 (224)

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys and Tutorials, 2019
Yahui Li, Zhiliang Wang, Xingang Shi
exaly  

Conference on Formal Languages, Automata and Development

Bulletin of Mathematical Biology, 1975
openaire   +1 more source

Formal Languages and their Relation to Automata

Nuclear Science and Engineering, 1970
openaire   +1 more source

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons, Jonathan P Bowen, John Derrick   +2 more
exaly  

Formal methods for specification and analysis of communication protocols

IEEE Communications Surveys and Tutorials, 2002
Fulvio Babich
exaly  

Formal languages and automata theory

2017
openaire   +1 more source

ROUTINE FORMAL FETAL MOVEMENT COUNTING AND RISK OF ANTEPARTUM LATE DEATH IN NORMALLY FORMED SINGLETONS

Lancet, The, 1989
Lil Valentin, Diana Elbourne
exaly  

Scalable, Stereocontrolled Formal Syntheses of (+)‐Isoschizandrin and (+)‐Steganone: Development and Applications of Palladium(II)‐Catalyzed Atroposelective C−H Alkynylation

Angewandte Chemie - International Edition, 2018
Zhuo-Zhuo Zhang, Bingfeng Shi
exaly  

INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA

2002
openaire   +1 more source

The Interrelationships Among Informal Institutions, Formal Institutions, and Inward Foreign Direct Investment

Journal of Management, 2013
Toyah L Miller, Michael A Hitt, R Michael Holmes Jr   +2 more
exaly