Parallel hardware design in BHALLERSTEDE, Stefan.Lecture notes in computer science. 2003, pp 101-102, issn 0302-9743, isbn 3-540-40253-5, 2 p.Conference Paper

ZB 2003 : formal specification and development in Z and B (Turku, 4-6 June 2003)Bert, Didier; Bowen, Jonathan P; King, Steve et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40253-5, XIII, 545 p, isbn 3-540-40253-5Conference Proceedings

To be or not to be ... a global constraintBESSIERE, Christian; VAN HENTENRYCK, Pascal.Lecture notes in computer science. 2003, pp 789-794, issn 0302-9743, isbn 3-540-20202-1, 6 p.Conference Paper

Characters + mark-up = Z LexisTOYN, Ian; STEPNEY, Susan.Lecture notes in computer science. 2002, pp 100-119, issn 0302-9743, isbn 3-540-43166-7Conference Paper

The OntoWordNet project: Extension and axiomatization of conceptual relations in WordNetGANGEMI, Aldo; NAVIGLI, Roberto; VELARDI, Paola et al.Lecture notes in computer science. 2003, pp 820-838, issn 0302-9743, isbn 3-540-20498-9, 19 p.Conference Paper

Deriving a simulation input generator and a coverage metric from a formal specificationSHIMIZU, Kanna; DILL, David L.Design automation conference. 2002, pp 801-806, isbn 1-58113-461-4, 6 p.Conference Paper

BE⁴ : The B extensible eclipse editing environmentBENDISPOSTO, Jens; LEUSCHEL, Michael.Lecture notes in computer science. 2006, pp 270-273, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper

EXPERIENCE WITH FORMAL SPECIFICATIONS USING AN EXTENDED STATE TRANSITION MODELBOCHMANN GV; CERNY E; GAGNE M et al.1982; IEEE TRANSACTIONS ON COMMUNICATIONS; ISSN 0090-6778; USA; DA. 1982; VOL. 30; NO 12; PP. 2506-2513; BIBL. 61 REF.Article

Formal Extreme (and extremely formal) ProgrammingHERRANZ, Angel; MORENO-NAVARRO, Juan Jose.Lecture notes in computer science. 2003, pp 88-96, issn 0302-9743, isbn 3-540-40215-2, 9 p.Conference Paper

Confidentiality levels and deliberate/indeliberate protocol attacks. DiscussionBELLA, Giampaolo; BISTARELLI, Stefano; COHEN, Ernie et al.Lecture notes in computer science. 2003, pp 104-119, issn 0302-9743, isbn 3-540-20830-5, 16 p.Conference Paper

Automatically generating information from a Z specification to support the Classification Tree MethodHIERONS, Robert M; HARMAN, Mark; SINGH, Harbhajan et al.Lecture notes in computer science. 2003, pp 388-407, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper

A linearly complex model for knowledge representationSARBO, Janos; FARKAS, Jozsef.Lecture notes in computer science. 2002, pp 20-33, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper

STG: A symbolic test generation toolCLARKEL, Duncan; JERON, Thierry; RUSU, Vlad et al.Lecture notes in computer science. 2002, pp 470-475, issn 0302-9743, isbn 3-540-43419-4Conference Paper

Modeling agent-based systemsMANDUTIANU, Sanda.Lecture notes in computer science. 2001, pp 318-320, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Formal methods in software practiceDILLON, Laura K; SANKAR, Sriram.IEEE transactions on software engineering. 1997, Vol 23, Num 5, pp 265-323, issn 0098-5589Serial Issue

Contribution à la réalisation d'une spécification formelle pour PROLOGRichard, Gilles; Lorho, Bernard.1989, 195 p.Thesis

Efficient, verifiable shuffle decryption and its requirement of unlinkabilityJUN FURUKAWA.Lecture notes in computer science. 2004, pp 319-332, issn 0302-9743, isbn 3-540-21018-0, 14 p.Conference Paper

Corpus-based rules for Czech verb discontinuous constituentsZACKOVA, E; PALA, K.Lecture notes in computer science. 1999, Vol 1692, pp 325-328, issn 0302-9743, isbn 3-540-66494-7Conference Paper

Techniques formelles pour le développement de systèmes de conduite de procédés manufacturiers: abstraction, spécification, synthèse et optimisation = Formal techniques for the development of process-control systems in the area of manufacturing processes: abstraction, specification, synthesis and optimisationTchuenkam Tchoneng, Honoré; Finance, J. P.1991, 276 p.Thesis

Inverted decision tables and their application: automating the translation of specifications to programsLEVY, L. S; STUMP, H. T.AT&T Bell Laboratories technical journal. 1985, Vol 64, Num 2, pp 533-558, 2Article

ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)Treharne, Helen; King, Steve; Henson, Martin et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25559-1, XV, 491 p, isbn 3-540-25559-1Conference Proceedings

ZML: XML support for standard ZUTTING, Mark; TOYN, Ian; JING SUN et al.Lecture notes in computer science. 2003, pp 437-456, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper

FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002)Eriksson, Lars-Henrik; Lindsay, Peter Alexander.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43928-5, XI, 624 p, isbn 3-540-43928-5Conference Proceedings

An approach to the formal specification of computer graphics systemsCARSON, G. S.Computers & graphics. 1984, Vol 8, Num 1, pp 51-57, issn 0097-8493Article

The rigorous development of a system version control programCOTTAM, I. D.IEEE transactions on software engineering. 1984, Vol 10, Num 2, pp 143-154, issn 0098-5589Article