default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kenji Taguchi 0001
@inproceedings{DBLP:conf/safecomp/0001I21,
author = {Kenji Taguchi and
Fuyuki Ishikawa},
editor = {Ibrahim Habli and
Mark Sujan and
Simos Gerasimou and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Experimental Conformance Evaluation onUBER {ATG} Safety Case Framework
withANSI/UL 4600},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2021 Workshops
- DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September
7, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12853},
pages = {272--283},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83906-2\_22},
doi = {10.1007/978-3-030-83906-2\_22},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/0001I21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/0001KSNTY20,
author = {Kenji Taguchi and
Ryo Kurachi and
Kiyoshi Sasaki and
Nobuhiko Nakamura and
Kazuki Tomonaga and
Shuhei Yamashita},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Threat Analysis Framework for Safety Architectures in {SCDL}},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {341--354},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_23},
doi = {10.1007/978-3-030-54549-9\_23},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/0001KSNTY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Nishihara018,
author = {Hideaki Nishihara and
Kenji Taguchi},
editor = {Barbara Gallina and
Amund Skavhaug and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Comparing Risk Identification in Hazard Analysis and Threat Analysis},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2018 Workshops,
ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V{\"{a}}ster{\aa}s,
Sweden, September 18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11094},
pages = {265--277},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99229-7\_23},
doi = {10.1007/978-3-319-99229-7\_23},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Nishihara018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/0001SN15,
author = {Kenji Taguchi and
Daisuke Souma and
Hideaki Nishihara},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Safe {\&} Sec Case Patterns},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {27--37},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_3},
doi = {10.1007/978-3-319-24249-1\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/0001SN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/YamagataKFTO014,
author = {Yoriyuki Yamagata and
Weiqiang Kong and
Akira Fukuda and
Nguyen Van Tang and
Hitoshi Ohsaki and
Kenji Taguchi},
title = {A formal semantics of extended hierarchical state transition matrices
using CSP{\#}},
journal = {Formal Aspects Comput.},
volume = {26},
number = {5},
pages = {943--962},
year = {2014},
url = {https://doi.org/10.1007/s00165-013-0282-7},
doi = {10.1007/S00165-013-0282-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/YamagataKFTO014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/Okubo0KY14,
author = {Takao Okubo and
Kenji Taguchi and
Haruhiko Kaiya and
Nobukazu Yoshioka},
title = {{MASG:} Advanced Misuse Case Analysis Model with Assets and Security
Goals},
journal = {J. Inf. Process.},
volume = {22},
number = {3},
pages = {536--546},
year = {2014},
url = {https://doi.org/10.2197/ipsjjip.22.536},
doi = {10.2197/IPSJJIP.22.536},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/Okubo0KY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/0001DNT14,
author = {Kenji Taguchi and
Daisuke Souma and
Hideaki Nishihara and
Toshinori Takai},
title = {Linking Traceability with {GSN}},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {192--197},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.79},
doi = {10.1109/ISSREW.2014.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/0001DNT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/0001NAKHS13,
author = {Kenji Taguchi and
Hideaki Nishihara and
Toshiaki Aoki and
Fumihiro Kumeno and
Koji Hayamizu and
Koichi Shinozaki},
title = {Building a Body of Knowledge on Model Checking for Software Development},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {784--789},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.129},
doi = {10.1109/COMPSAC.2013.129},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/0001NAKHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/YamagataKFTOT12,
author = {Yoriyuki Yamagata and
Weiqiang Kong and
Akira Fukuda and
Nguyen Van Tang and
Hitoshi Ohsaki and
Kenji Taguchi},
title = {Formal semantics of extended hierarchical state transition matrix
by {CSP}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {37},
number = {4},
pages = {1--8},
year = {2012},
url = {https://doi.org/10.1145/2237796.2237815},
doi = {10.1145/2237796.2237815},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/YamagataKFTOT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KongLY0OF12,
author = {Weiqiang Kong and
Leyuan Liu and
Yoriyuki Yamagata and
Kenji Taguchi and
Hitoshi Ohsaki and
Akira Fukuda},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {On Accelerating SMT-based Bounded Model Checking of {HSTM} Designs},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {614--623},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.38},
doi = {10.1109/APSEC.2012.38},
timestamp = {Thu, 15 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KongLY0OF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2012,
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3},
doi = {10.1007/978-3-642-34281-3},
isbn = {978-3-642-34280-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/MatsunoT11,
author = {Yutaka Matsuno and
Kenji Taguchi},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Robert M. Hierons and
Mercedes G. Merayo},
title = {Parameterised Argument Structure for {GSN} Patterns},
booktitle = {Proceedings of the 11th International Conference on Quality Software,
{QSIC} 2011, Madrid, Spain, July 13-14, 2011},
pages = {96--101},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QSIC.2011.35},
doi = {10.1109/QSIC.2011.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/MatsunoT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KomotoTMYF11,
author = {Takafumi Komoto and
Kenji Taguchi and
Haralambos Mouratidis and
Nobukazu Yoshioka and
Kokichi Futatsugi},
title = {A Modelling Framework to Support Internal Control},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {187--193},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.33},
doi = {10.1109/SSIRI-C.2011.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KomotoTMYF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/TaguchiYTK10,
author = {Kenji Taguchi and
Nobukazu Yoshioka and
Takayuki Tobita and
Hiroyuki Kaneko},
title = {Aligning Security Requirements and Security Assurance Using the Common
Criteria},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010},
pages = {69--77},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI.2010.30},
doi = {10.1109/SSIRI.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/TaguchiYTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/TaharaYTAH09,
author = {Yasuyuki Tahara and
Nobukazu Yoshioka and
Kenji Taguchi and
Toshiaki Aoki and
Shinichi Honiden},
title = {Evolution of a course on model checking for practical applications},
journal = {{ACM} {SIGCSE} Bull.},
volume = {41},
number = {2},
pages = {38--44},
year = {2009},
url = {https://doi.org/10.1145/1595453.1595460},
doi = {10.1145/1595453.1595460},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigcse/TaharaYTAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/NishiharaSHATK09,
author = {Hideaki Nishihara and
Koichi Shinozaki and
Koji Hayamizu and
Toshiaki Aoki and
Kenji Taguchi and
Fumihiro Kumeno},
title = {Model checking education for software engineers in Japan},
journal = {{ACM} {SIGCSE} Bull.},
volume = {41},
number = {2},
pages = {45--50},
year = {2009},
url = {https://doi.org/10.1145/1595453.1595461},
doi = {10.1145/1595453.1595461},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigcse/NishiharaSHATK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/OkuboTY09,
author = {Takao Okubo and
Kenji Taguchi and
Nobukazu Yoshioka},
title = {Misuse Cases + Assets + Security Goals},
booktitle = {Proceedings of the 12th {IEEE} International Conference on Computational
Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
29-31, 2009},
pages = {424--429},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSE.2009.18},
doi = {10.1109/CSE.2009.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cse/OkuboTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/IshikawaTYH09,
author = {Fuyuki Ishikawa and
Kenji Taguchi and
Nobukazu Yoshioka and
Shinichi Honiden},
editor = {Jeremy Gibbons and
Jos{\'{e}} Nuno Oliveira},
title = {What Top-Level Software Engineers Tackle after Learning Formal Methods:
Experiences from the Top {SE} Project},
booktitle = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5846},
pages = {57--71},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04912-5\_5},
doi = {10.1007/978-3-642-04912-5\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tfm/IshikawaTYH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/TaguchiD08,
author = {Kenji Taguchi and
Jin Song Dong},
title = {Formally specifying and verifying mobile agents - model checking mobility:
the MobiOZ approach},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {2},
number = {4},
pages = {449--474},
year = {2008},
url = {https://doi.org/10.1504/IJAOSE.2008.020140},
doi = {10.1504/IJAOSE.2008.020140},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/TaguchiD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongSSTZ08,
author = {Jin Song Dong and
Jing Sun and
Jun Sun and
Kenji Taguchi and
Xian Zhang},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {Specifying and Verifying Sensor Networks: An Experiment of Formal
Methods},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {318--337},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_20},
doi = {10.1007/978-3-540-88194-0\_20},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongSSTZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HonidenTYTW07,
author = {Shinichi Honiden and
Yasuyuki Tahara and
Nobukazu Yoshioka and
Kenji Taguchi and
Hironori Washizaki},
title = {Top {SE:} Educating Superarchitects Who Can Apply Software Engineering
Tools to Practical Development in Japan},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {708--718},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.89},
doi = {10.1109/ICSE.2007.89},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HonidenTYTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NakagawaTH07,
author = {Hiroyuki Nakagawa and
Kenji Taguchi and
Shinichi Honiden},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Formal specification generator for {KAOS:} model transformation approach
to generate formal specifications from {KAOS} requirements models},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {531--532},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321729},
doi = {10.1145/1321631.1321729},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NakagawaTH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/TaguchiDC04,
author = {Kenji Taguchi and
Jin Song Dong and
Gabriel Ciobanu},
title = {Relating pi-calculus to Object-Z},
booktitle = {9th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECCS.2004.1310908},
doi = {10.1109/ICECCS.2004.1310908},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/TaguchiDC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/KangT04,
author = {Miao Kang and
Kenji Taguchi},
title = {Modelling Mobile Agent Applications by Extended {UML} Activity Diagram},
booktitle = {{ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise
Information Systems, Porto, Portugal, April 14-17, 2004},
pages = {519--522},
year = {2004},
timestamp = {Thu, 02 Feb 2017 12:56:49 +0100},
biburl = {https://dblp.org/rec/conf/iceis/KangT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TaguchiD02,
author = {Kenji Taguchi and
Jin Song Dong},
editor = {Chris George and
Huaikou Miao},
title = {An Overview of Mobile Object-Z},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {144--155},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_17},
doi = {10.1007/3-540-36103-0\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TaguchiD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/FilipeLOTYW00,
author = {Juliana K{\"{u}}ster Filipe and
Kung{-}Kiu Lau and
Mario Ornaghi and
Kenji Taguchi and
Hirokazu Yatsu and
Alan Wills},
title = {Formal specification of Catalysis frameworks},
booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
December 2000, Singapore},
pages = {180--187},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/APSEC.2000.896697},
doi = {10.1109/APSEC.2000.896697},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/FilipeLOTYW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/1999,
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1},
doi = {10.1007/978-1-4471-0851-1},
isbn = {1-85233-107-0},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TaguchiA98,
author = {Kenji Taguchi and
Keijiro Araki},
title = {A Calculus Based on the Agent-Place Model},
booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
Proceedings},
pages = {56--63},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730570},
doi = {10.1109/ICFEM.1998.730570},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/TaguchiA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TaguchiA97,
author = {Kenji Taguchi and
Keijiro Araki},
title = {The State-Based {CCS} Semantics for Concurrent {Z} Specification},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {283--292},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630435},
doi = {10.1109/ICFEM.1997.630435},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/TaguchiA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TaguchiA96,
author = {Kenji Taguchi and
Keijiro Araki},
title = {Extending {Z} with State Transition Constraints},
booktitle = {{COMPSAC} '96 - 20th Computer Software and Applications Conference,
August 19-23, 1996, Seoul, Korea},
pages = {246--260},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CMPSAC.1996.544174},
doi = {10.1109/CMPSAC.1996.544174},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/TaguchiA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
