Results 141 to 150 of about 93,999 (162)

Experiences of using formal methods for chemical process control specification

Control Engineering Practice, 2000
Juan Bicarregui
exaly  

Analysis of the Formal Specification Application for Train Control Systems

Journal of Electrical Engineering and Technology, 2009
Hyun-Jeong Jo, Jong-Gyu Hwang
exaly  

Formal specification of the variants and behavioural features of design patterns

Journal of Systems and Software, 2010
Ian Bayley, Hong Zhu
exaly  

A formal specification of geometric refinements

The Visual Computer, 1999
David Cazier, Jean-François Dufourd
openaire   +1 more source

Formal Specification Generation from Requirement Documents

Electronic Notes in Theoretical Computer Science, 2008
Augusto Sampaio
exaly  

Formal specification of the JavaCard API in JML: the APDU class

Computer Networks, 2001
Erik Poll
exaly  

Formal Specification

2007
Andreas Roth, Peter H. Schmitt
openaire   +1 more source

The Formal Specification of Level la of GKS

Computer Graphics Forum, 1991
exaly  

Formal Specification

2001
openaire   +2 more sources

A formal specification technique and implementation method for protocols

Computer Networks (1976), 1982
exaly