15 treff

verifikasjon notrbib real006891
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1999 · Vis mer
System verification : proving the design solution satisfies the requirements
Jeffrey O. Grady
Bok Engelsk 2007 · Vis mer
Validation of stochastic systems : a guide to current research
Christel Baier ... [et al.] (eds.)
Bok Engelsk 2004 · Vis mer
Networking: foundation for the future : proceedings : twelfth annual joint conference of the IEEE Computer and Communications Societies : tutorials, March 28-29, 1993 : technical sessions, March 30-April 1, 1993 : Hotel Nikko, San Francisco, CA. 1.
IEEE INFOCOM (12 : 1993 San Francisco)
Bok Engelsk 1993 · Vis mer
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
ATVA 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Proceedings 1998 : Design Automation Conference : Moscone Center, San Francisco, CA, June 15-19, 1998
Design Automation Conference
Bok Engelsk 1998 · Vis mer
Algorithmics : the spirit of computing
David Harel ; with the technical assistan...
Bok Engelsk 1992 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers
FASec 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
International SPIN Workshop
Bok Engelsk 2002 · Vis mer
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2001 · Vis mer
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
PAPM-PROBMIV 2001
Bok Engelsk 2001 · Vis mer
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Bok Engelsk 1999 · Vis mer
Programming from specifications
Morgan, C.C.
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver