Treffer: Exploring Java code generation based on formal specifications in RTPA
Title:
Exploring Java code generation based on formal specifications in RTPA
Authors:
Source:
Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513) Electrical and computer engineering Electrical and Computer Engineering, 2004. Canadian Conference on. 3:1533-1536 Vol.3 2004
Relation:
Canadian Conference on Electrical and Computer Engineering 2004
Database:
IEEE Xplore Digital Library