Applying the B Method for the Rigorous Development of Smart Card Applications

Author(s):  
Bruno Gomes ◽  
David Déharbe ◽  
Anamaria Moreira ◽  
Katia Moraes
Keyword(s):  
2019 ◽  
Vol 78 (11) ◽  
pp. 957-971
Author(s):  
S. Kumar ◽  
V. Singh ◽  
V. Sharma ◽  
Vijay P Singh

Author(s):  
Uwe Hansmann ◽  
Martin S. Nicklous ◽  
Thomas Schäck ◽  
Frank Seliger

2009 ◽  
Vol 29 (4) ◽  
pp. 950-951
Author(s):  
Xin ZHANG ◽  
Fang-wei LI ◽  
Chun-lan PAN

2021 ◽  
Vol 93 ◽  
pp. 103046
Author(s):  
Shasha Liu ◽  
Toshiyuki Yamamoto ◽  
Enjian Yao ◽  
Toshiyuki Nakamura

2021 ◽  
Vol 1783 (1) ◽  
pp. 012114
Author(s):  
Cita Audia ◽  
Ika Yatri ◽  
Aslam ◽  
Sri Mawani ◽  
Zulherman

Sign in / Sign up

Export Citation Format

Share Document