مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3613702

Title :

Mixed formal specifications with PVS

Author :

M. Allemand;J.-C. Royer

fYear :

2002

fDate :

6/24/1905 12:00:00 AM

Keywords :

"Formal specifications","Logic","Algebra","Sociotechnical systems","Graphics","Architecture description languages","Guidelines","Proposals"

Publisher :

ieee

Conference_Titel :

Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM

Print_ISBN :

0-7695-1573-8

Type :

conf

DOI :

10.1109/IPDPS.2002.1016615

Filename :

1016615

Link To Document :