Toggle navigation
norsk
English
English
norsk
English
Login
Toggle navigation
View Item
Home
Høgskulen på Vestlandet
Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
Institutt for datateknologi, elektroteknologi og realfag
View Item
Home
Høgskulen på Vestlandet
Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
Institutt for datateknologi, elektroteknologi og realfag
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
A bottom up approach to model based program validation
Calder, Thomas Peter
;
Lamo, Yngve
Peer reviewed, Journal article
View/
Open
FlexMDE2016_paper_7.pdf (161.3Kb)
URI
http://hdl.handle.net/11250/2482190
Date
2016
Metadata
Show full item record
Collections
Institutt for datateknologi, elektroteknologi og realfag
[1160]
Original version
Calder TP, Lamo Y. A bottom up approach to model based program validation. CEUR Workshop Proceedings. 2016;1694:12-21
Description
-
Search Archive
This Collection
Browse
Archive
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
This Collection
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
My Account
Login
Statistics
View Usage Statistics