Formal specification for a clinical cyclotron control system

Jonathan Jacky

doi:10.1145/99571.99814

Formal specification for a clinical cyclotron control system

ACM SIGSOFT Software Engineering Notes ◽

10.1145/99571.99814 ◽

1990 ◽

Vol 15 (4) ◽

pp. 45-54 ◽

Cited By ~ 10

Author(s):

Jonathan Jacky

Keyword(s):

Control System ◽

Formal Specification

Download Full-text

Formal specification for a clinical cyclotron control system

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99814 ◽

1990 ◽

Cited By ~ 4

Author(s):

Jonathan Jacky

Keyword(s):

Control System ◽

Formal Specification

Download Full-text

Formal specification of holonic control system adacor product holon, using high-level petri nets

IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings. ◽

10.1109/indin.2003.1300278 ◽

2004 ◽

Cited By ~ 4

Author(s):

P. Leitao ◽

A.W. Colombo ◽

F. Restivo ◽

R. Schoop

Keyword(s):

Control System ◽

Petri Nets ◽

Formal Specification ◽

High Level

Download Full-text

Formal specification of an access control system

Software Practice and Experience ◽

10.1002/spe.4380170903 ◽

1987 ◽

Vol 17 (9) ◽

pp. 575-593 ◽

Cited By ~ 21

Author(s):

Susan Stepney ◽

Stephen P. Lord

Keyword(s):

Control System ◽

Access Control ◽

Formal Specification ◽

Access Control System

Download Full-text

Aspect-oriented Formal Specification Modeling of Air Traffic Control System

Proceedings of the 2016 2nd Workshop on Advanced Research and Technology in Industry Applications ◽

10.2991/wartia-16.2016.109 ◽

2016 ◽

Author(s):

Shihang Guo ◽

LiChen Zhang

Keyword(s):

Control System ◽

Traffic Control ◽

Formal Specification ◽

Air Traffic Control ◽

Air Traffic ◽

Traffic Control System

Download Full-text

Formal Specification and Development of Control System Input / Output

Workshops in Computing - Z User Workshop, London 1992 ◽

10.1007/978-1-4471-3556-2_7 ◽

1993 ◽

pp. 95-108 ◽

Cited By ~ 5

Author(s):

Jonathan Jacky

Keyword(s):

Control System ◽

Formal Specification ◽

Input Output ◽

System Input

Download Full-text

Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System

IEEE Transactions on Computers ◽

10.1109/tc.1982.1676059 ◽

1982 ◽

Vol C-31 (7) ◽

pp. 616-630 ◽

Cited By ~ 54

Author(s):

Melliar-Smith ◽

Schwartz

Keyword(s):

Control System ◽

Flight Control ◽

Formal Specification ◽

Fault Tolerant ◽

Flight Control System ◽

Mechanical Verification

Download Full-text

Formal specification and verification of a coordination protocol for an automated air traffic control system

Science of Computer Programming ◽

10.1016/j.scico.2014.04.002 ◽

2014 ◽

Vol 96 ◽

pp. 337-353 ◽

Cited By ~ 19

Author(s):

Yang Zhao ◽

Kristin Yvonne Rozier

Keyword(s):

Control System ◽

Traffic Control ◽

Formal Specification ◽

Air Traffic Control ◽

Air Traffic ◽

Formal Specification And Verification ◽

Traffic Control System ◽

Specification And Verification

Download Full-text

Formal specification and analysis of a control system based on computer networks

Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 ◽

10.1109/wfcs.1997.634312 ◽

2002 ◽

Cited By ~ 2

Author(s):

I. Blum ◽

G. Juanole

Keyword(s):

Control System ◽

Computer Networks ◽

Formal Specification

Download Full-text

Implementation of a model lift control system from a formal specification

Software Engineering Journal ◽

10.1049/sej.1987.0010 ◽

1987 ◽

Vol 2 (3) ◽

pp. 71 ◽

Cited By ~ 1

Author(s):

J.P. Mocek ◽

J.A. McDermid

Keyword(s):

Control System ◽

Formal Specification ◽

Lift Control

Download Full-text

Formal Specification of ADACOR Holonic Control System: Coordination Models

Proceedings of the 44th IEEE Conference on Decision and Control ◽

10.1109/cdc.2005.1582477 ◽

2006 ◽

Cited By ~ 2

Author(s):

P. Leitao ◽

A.W. Colombo ◽

F. Restivo

Keyword(s):

Control System ◽

Formal Specification

Download Full-text