0
  • DE
  • EN
  • FR
  • International Database and Gallery of Structures

Advertisement

Real-Time Software Development with Formal Models

Author(s):

Medium: journal article
Language(s): English
Published in: Journal of Computing in Civil Engineering, , n. 1, v. 9
Page(s): 73-86
DOI: 10.1061/(asce)0887-3801(1995)9:1(73)
Structurae cannot make the full text of this publication available at this time. The full text can be accessed through the publisher via the DOI: 10.1061/(asce)0887-3801(1995)9:1(73).
  • About this
    data sheet
  • Reference-ID
    10258764
  • Published on:
    29/12/2018
  • Last updated on:
    29/12/2018
 
Structurae cooperates with
International Association for Bridge and Structural Engineering (IABSE)
e-mosty Magazine
e-BrIM Magazine