//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~person:"Noche, Bernd"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Formal Specification"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
Fertilizer Truck
1
Formal Specification
1
Simulation
1
Verification
1
Online availability
All
Free
1
Type of publication
All
Book / Working Paper
1
Type of publication (narrower categories)
All
Conference Paper
1
Language
All
English
1
Author
All
Noche, Bernd
Bahauddin, Achmad
1
Ben Amor, Ikram Amous
1
Ben Jemaa, Raoudha
1
Ben Lamine, Rihab
1
Bendiaf, Messaoud
1
Boudia, Malika
1
Bourahla, Mustapha
1
Ekawati, Ratna
1
Indrahanif, Muhammad
1
Rehab, Seidali
1
Ridwan, Asep
1
Santoso, Muhammad Iman
1
more ...
less ...
Source
All
EconStor
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Formal
Specification
, Testing and Verification on the Truck Simulation
Santoso, Muhammad Iman
;
Noche, Bernd
;
Ridwan, Asep
; …
-
2015
verification have been developed employing several tools and managed in a structural way using
formal
specification
. Those …
Persistent link: https://www.econbiz.de/10012143092
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->