Results 331 to 340 of about 1,643,554 (351)

Formal Requirements Specification

2010
Jonathan P. Bowen, Mike Hinchey, Emil Vassev   +2 more
openaire   +1 more source

Foundations of Algebraic Specification and Formal Software Development

Monographs in Theoretical Computer Science. An EATCS Series, 2012
D. Sannella, A. Tarlecki
semanticscholar   +1 more source

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys and Tutorials, 2015
Junaid Qadir, Osman Hasan
exaly  

Larch: Languages and Tools for Formal Specification

Texts and Monographs in Computer Science, 1993
J. Guttag, J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing   +5 more
semanticscholar   +1 more source

Formal [4+1] Annulation Reactions in the Synthesis of Carbocyclic and Heterocyclic Systems

Chemical Reviews, 2015
Jia-Rong Chen, Xiao-Qiang Hu, Liang-Qiu Lu   +2 more
exaly  

Combining UML, ASTD and B for the formal specification of an access control filter

Innovations in Systems and Software Engineering, 2011
Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Y. Ledru, M. Frappier   +5 more
semanticscholar   +1 more source

Formal Specification

1999
openaire   +1 more source

seL4: formal verification of an OS kernel

Symposium on Operating Systems Principles, 2009
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, D. Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood   +12 more
semanticscholar   +1 more source

Formal methods

ACM Computing Surveys, 2009
James Woodcock, Peter Gorm Larsen, Juan C Bicarregui   +2 more
exaly  

Formal Specification Level

2015
Mathias Soeken, Rolf Drechsler
openaire   +1 more source