SCTL-MUS: A formal methodology for software development of distributed systems. A case study

  1. Arias, J.J.P.
  2. Duque, J.G.
Aldizkaria:
Formal Aspects of Computing

ISSN: 0934-5043

Argitalpen urtea: 2001

Alea: 13

Zenbakia: 1

Orrialdeak: 50-91

Mota: Artikulua

DOI: 10.1007/PL00003939 GOOGLE SCHOLAR
Datuen iturria: Scopus