Formal methods in computer-aided design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formal methods in computer-aided design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedingshttps://catalogue-scientifique.canada.ca/record=1851633~S6*frcRechercher Gopalakrishnan, Ganesh; Rechercher Windley, PhillipSpringer, 1998Actes de conférence
Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedingshttps://catalogue-scientifique.canada.ca/record=1608012~S6*frcRechercher Schubert, E. Thomas; Rechercher Windley, Phillip J; Rechercher Alves-Foss, JamesSpringer-Verlag, 1995Actes de conférence
Towards the formal verification of the requirements and design of a processor interface unit (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Towards the formal verification of the requirements and design of a processor interface unithttps://catalogue-scientifique.canada.ca/record=1575362~S6*frcRechercher Fura, David A; Rechercher Windley, Phillip J; Rechercher Cohen, Gerald CNASA, Scientific and Technical Information Program, 1993Publication gouvernementale
Towards the formal specification of the requirements and design of a processor interface unit (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Towards the formal specification of the requirements and design of a processor interface unithttps://catalogue-scientifique.canada.ca/record=1574993~S6*frcRechercher Fura, David A; Rechercher Windley, Phillip J; Rechercher Cohen, Gerald CNASA, Scientific and Technical Information Program, 1993Publication gouvernementale