Arama Sonu&ccedil;lar&#305; Fran&ccedil;ois, Jean - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFran$0025C3$0025A7ois$00252C$002bJean$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-10-26T00:08:07Z Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187420 2024-10-26T00:08:07Z 2024-10-26T00:08:07Z Yazar&#160;Raskin, Jean-Fran&ccedil;ois. editor.&#160;Thiagarajan, P. S. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488926 2024-10-26T00:08:07Z 2024-10-26T00:08:07Z Yazar&#160;Cassez, Franck. editor.&#160;Raskin, Jean-Francois. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB ent://SD_ILS/0/SD_ILS:330930 2024-10-26T00:08:07Z 2024-10-26T00:08:07Z Yazar&#160;Pelcat, Maxime. author.&#160;Aridhi, Slaheddine. author.&#160;Piat, Jonathan. author.&#160;Nezan, Jean-Fran&ccedil;ois. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(330930.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4210-2">http://dx.doi.org/10.1007/978-1-4471-4210-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184890 2024-10-26T00:08:07Z 2024-10-26T00:08:07Z Yazar&#160;Najm, Elie. editor.&#160;Pradat-Peyre, Jean-Fran&ccedil;ois. editor.&#160;Donzeau-Gouge, V&eacute;ronique Vigui&eacute;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>