Skip to main content
ETH Zurich
ETH Library
Research Collection
Help
English
English
Deutsch
Research Collection
search
Search
search
lock
Login
Statistics
Browse
Home
IPSJ journal
Journal:
IPSJ journal
Loading...
Abbreviation
Publisher
Information Processing Society of Japan (IPSJ)
Journal Volumes
ISSN
0387-5806
Description
Show all metadata
Publications
Research Data
1 results
Back to results
Filters
Author / Producer
1
Basin, David
1
Hoang, Thai Son
1
Kuruma, Hironobu
1
Sato, Naoto
Search author name
Submit
Publication Type
1
Journal Article
Search publication type
Submit
Date
Start
End
Submit
2013
1
Availability
1
Metadata only
Search Available
Submit
ETH Publication
1
yes
Search ETH Publication
Submit
Reset filters
search
Search
Search Tools
Search Results
Publications
1 - 1 of 1
keyboard_arrow_down
10 Results Per Page
check
1
check
5
check
10
check
20
check
40
check
60
check
80
check
100
keyboard_arrow_down
Descending
check
Ascending
check
Descending
Loading...
Verification for Monitoring Requirements of Train Monitoring Systems in Event-B
Item type:
Journal Article
Sato, Naoto
;
Hoang, Thai Son
;
Basin, David
; et al.
(
2013
)
Show more
IPSJ journal
Publications
1 - 1 of 1
Show statistical information
