The SCEAS System
Navigation Menu

Journals in DBLP

Formal Asp. Comput.
2000, volume: 12, number: 4

  1. B. Tim Denvir, José Nuno Oliveira, Nico Plat
    The Cash-Point (ATM) `Problem'. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:211-215 [Journal]
  2. Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen
    Using VDMTools to Model and Validate the Cash Dispenser Example. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:216-217 [Journal]
  3. Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
    The `Cash-Point' Service: A Verification Case Study Using STeP. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:218-219 [Journal]
  4. Henning Dierks, Josef Tapken
    Modelling and Verifying of a `Cash-Point Service' Using MOBY/PLC. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:220-221 [Journal]
  5. Vahur Kotkas, Peep Küngas, Mait Harf
    The Cash-Point Service in NUT. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:222-224 [Journal]
  6. Oscar Slotosch
    Modelling and Validation: AUTOFOCUS and Quest. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:225-227 [Journal]
  7. Sophie Dupuy, Lydie du Bousquet
    A Multi-formalism Approach for the Validation of UML Models. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:228-230 [Journal]
  8. Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen
    Specifying Cash-Point with DisCo. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:231-232 [Journal]
  9. Sylvan Dissoubray, Bernard Dion
    Design of an Automatic Teller Machine with Esterel Studio. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:233-236 [Journal]
  10. Richard Butterworth, Ann Blandford, David J. Duke
    Demonstrating the Cognitive Plausibility of Interactive System Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:237-259 [Journal]
  11. Gavin J. Doherty, José Creissac Campos, Michael D. Harrison
    Representational Reasoning and Verification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:260-277 [Journal]
  12. Kaisa Sere, Marina A. Waldén
    Data Refinement of Remote Procedures. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:278-297 [Journal]
  13. Anthony C. J. Fox, Neal A. Harman
    Algebraic Models of Correctness for Microprocessors. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:298-312 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002