DocumentCode

3127802

Title

Formal specification and temporal proof techniques for mixed systems

Author

Royer, Jean Claude

Author_Institution

IRIN

fYear

2000

fDate

23-27 April 2000

Firstpage

1542

Lastpage

1551

Keywords

Algebra; Automata; Concurrent computing; Formal specifications; Graphics; Guidelines; Logic; Proposals; Sociotechnical systems; Software engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing Symposium., Proceedings 15th International

Conference_Location

San Francisco, CA, USA

ISSN

1530-2075

Print_ISBN

0-7695-0990-8

Type

conf

DOI

10.1109/IPDPS.2001.925139

Filename

925139