Role of VDM(++) in the development of a real-time tracking and tracing system Export

@incollection{citeulike:3905852, abstract = {This article describes our experience with the use of the formal specification languages VDM and VDM++, in the evolutionary development of a real-time distributed system for the tracing and tracking of load-units in combined road-rail traffic.}, author = {D\"{u}rr, E. and Dusink, E.}, citeulike-article-id = {3905852}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BFb0024638}, citeulike-linkout-1 = {http://www.springerlink.com/content/5t348813544h2806}, doi = {10.1007/BFb0024638}, journal = {FME '93: Industrial-Strength Formal Methods}, pages = {64--72}, posted-at = {2009-01-18 10:14:26}, priority = {2}, title = {Role of VDM(++) in the development of a real-time tracking and tracing system}, url = {http://dx.doi.org/10.1007/BFb0024638}, year = {1993} }

TY - CHAP ID - citeulike:3905852 L3 - citeulike-article-id:3905852 N2 - This article describes our experience with the use of the formal specification languages VDM and VDM++, in the evolutionary development of a real-time distributed system for the tracing and tracking of load-units in combined road-rail traffic. JF - FME '93: Industrial-Strength Formal Methods EP - 72 TI - Role of VDM(++) in the development of a real-time tracking and tracing system SP - 64 AU - Dürr, E AU - Dusink, E PY - 1993/// UR - http://dx.doi.org/10.1007/BFb0024638 ER -